1. Combinatory logic
پدیدآورنده : / Haskell B. Curry, Robert Feys; With two sections by William Cr aig
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Combinatory logic
رده :
511
.
3
C976
2. Combinatory logic
پدیدآورنده : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
3. Combinatory logic. Volume II
پدیدآورنده : [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
4. Foundations of mathematical logic
پدیدآورنده : Haskell B. Curry,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, Symbolic and mathematical
رده :
QA
.
C85
9
1977
5. Foundations of mathematical logic /
پدیدآورنده : Haskell B. Curry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
.
C85
1977
6. Foundations of mathematical logic
پدیدآورنده : Curry, Haskell B. )Haskell Brooks(, 0091-2891
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Logic, Symbolic and mathematical.
رده :
BC
135
.
C8F6
7. Lecons de logique algebrique
پدیدآورنده : Par Haskell B. Curry
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical.,Algebra, Abstract.
